Wolfram's Classification and Computation in Cellular Automata Classes III and IV
نویسندگان
چکیده
We conduct a brief survey on Wolfram’s classification, in particular related to the computing capabilities of Cellular Automata (CA) in Wolfram’s classes III and IV. We formulate and shed light on the question of whether Class III systems are capable of Turing universality or may turn out to be “too hot” in practice to be controlled and programmed. We show that systems in Class III are indeed capable of computation and that there is no reason to believe that they are unable, in principle, to reach Turing-completness.
منابع مشابه
A Nonlinear Dynamics Perspective of Wolfram's New Kind of Science Part III: Predicting the Unpredictable
We prove rigorously the four cellular automata local rules 110, 124, 137 and 193 have identical dynamic behaviors capable of universal computations. We exploit Felix Klein’s remarkable Vierergruppe to partition the 256 local rules studied empirically by Wolfram into 89 global equivalence classes of which only 50 may exhibit complex dynamics. We define a 24-element rotation group which induces 3...
متن کاملA Note on Culik-Yu Classes
Culik and Yu suggested a classification of cellular automata into four classes based on Wolfram's earlier heuristic classification. The purpose of this note is to determine the position of these classes within th e arithmetical hierarchy. We will show that CLASS ONE and C LASS T wo are rrg-complete whereas C LASS THREE is ~g complete . C LASS FOUR is tri vial.
متن کاملComplexity Classes in the Two-dimensional Life Cellular Automata Subspace
Cellular automata (CA) are a class of discrete dynamical models which represent an approximation to physical systems composed of a large number of simple and locally interacting elements [18]. They have caught the interest of many researchers because of their rich and diverse phenomenology [16]. In this framework, Wolfram has shown that CA exhibit the full spectrum of dynamical behaviors [19] a...
متن کاملComplexity classes on spatially periodic Cellular Automata
This article deals with cellular automata (CA) working over periodic configurations, as opposed to standard CA, where the initial configuration is bounded by persistent symbols. We study the capabilities of language recognition and computation of functions over such automata, as well as the complexity classes they define over languages and functions. We show that these new complexity classes co...
متن کاملOn the Network Analysis of the State Space of Discrete Dynamical Systems
We study networks representing the dynamics of elementary 1D cellular automata (CA) on finite lattices. We analyze scaling behaviors of both local and global network properties as a function of system size. The scaling of the largest node in-degree is obtained analytically for a variety of CA including rules 22, 54, and 110. We further define the path diversity as a global network measure. The ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1208.2456 شماره
صفحات -
تاریخ انتشار 2012